Formal methods

Results: 2204



#Item
11Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

Add to Reading List

Source URL: mils-workshop-2015.mils.community

Language: English - Date: 2015-01-27 02:22:52
    12National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages?

    National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages?

    Add to Reading List

    Source URL: muwo1.unibo.it

    Language: English - Date: 2017-07-07 10:14:12
      13Formal Methods at Intel — An Overview John Harrison Intel Corporation Second NASA Formal Methods Symposium NASA HQ, Washington DC 14th April:00–10:00)

      Formal Methods at Intel — An Overview John Harrison Intel Corporation Second NASA Formal Methods Symposium NASA HQ, Washington DC 14th April:00–10:00)

      Add to Reading List

      Source URL: sist.shanghaitech.edu.cn

      Language: English - Date: 2017-06-02 02:14:10
        14Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

        Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer ·

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2015-10-26 09:37:06
          15National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

          National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

          Add to Reading List

          Source URL: muwo1.unibo.it

          Language: English - Date: 2017-07-07 10:12:38
            16SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications July 3-5, 2017 Coordinators:

            SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications July 3-5, 2017 Coordinators:

            Add to Reading List

            Source URL: muwo1.unibo.it

            Language: English - Date: 2017-04-03 08:57:07
              17Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

              Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

              Add to Reading List

              Source URL: ceres.hh.se

              Language: English - Date: 2015-05-16 14:54:06
                18Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

                Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

                Add to Reading List

                Source URL: curtclifton.net

                Language: English - Date: 2016-12-07 10:57:50
                  19Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b

                  Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have b

                  Add to Reading List

                  Source URL: lamport.azurewebsites.net

                  Language: English - Date: 2014-10-24 08:52:42
                    20Future Challenges for Linked APIs Steffen Stadtm¨uller, Sebastian Speiser, and Andreas Harth Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods (AIFB) firstname.lastname@k

                    Future Challenges for Linked APIs Steffen Stadtm¨uller, Sebastian Speiser, and Andreas Harth Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods (AIFB) firstname.lastname@k

                    Add to Reading List

                    Source URL: ceur-ws.org

                    Language: English - Date: 2013-10-11 05:19:45